Detecting Generalized Replay Attacks via Time-Varying Dynamic Watermarking
نویسندگان
چکیده
Cyber-physical systems (CPS) often rely on external communication for supervisory control or sensing. Unfortunately, these communications render the system vulnerable to cyber attacks. Attacks that alter messages, such as replay attacks record measurement signals, and then play them back can cause devastating effects. Dynamic Watermarking methods, which inject a private excitation into inputs secure resulting have begun addressing challenges of detecting attacks, but been restricted linear time-invariant (LTI) systems. Though LTI models are sufficient some applications, other CPS, autonomous vehicles, require more complex models. This article develops time-varying (LTV) extension previous dynamic watermarking methods by designing matrix normalization factor accommodate temporal changes in system. Implementable tests provided with considerations real-world The proposed method is shown be able detect generalized both theory simulation using an LTV vehicle model.
منابع مشابه
Detecting Replay Attacks by Freshness Annotations
We present a reduction semantics for the LYSA calculus extended with session information and a static analysis for it. If a protocol passes the analysis then it is free of replay attacks.
متن کاملCorrelating Multi-Session Attacks via Replay
Intrusion analysis is a manual and time-consuming operation today. It is especially challenging because attacks often span multiple sessions which makes it is hard to diagnose all the damage caused by an attack. One approach for determining dependencies between the sessions of an attack is system-call taint analysis, but this method can generate large numbers of false dependencies due to shared...
متن کاملStrategies against Replay Attacks
The goal of this paper is to present a set of design principles for avoiding replay attacks in cryptographic protocols. The principles are easily applied to real protocols and they do not consume excessive computing power or communications bandwidth. In particular, we describe how to type-tag messages with unique cryptographic functions, how to inexpensively implement the full information princ...
متن کاملTime-varying Stabilization of Hamiltonian Systems via Generalized Canonical Transformations
This paper focuses on the stabilization of port-controlled Hamiltonian systems employing possibly time-varying controllers. At first we refer to the generalized canonical transformation which preserves the structure of Hamiltonian systems and the passivity property that physical systems innately possess. Next we show a general stabilization strategy for port-controlled Hamiltonian systems based...
متن کاملDynamic Filtering of Time-Varying Sparse Signals via ℓ1 Minimization
Despite the importance of sparsity signal models and the increasing prevalence of high-dimensional streaming data, there are relatively few algorithms for dynamic filtering of time-varying sparse signals. Of the existing algorithms, fewer still provide strong performance guarantees. This paper examines two algorithms for dynamic filtering of sparse signals that are based on efficient `1 optimiz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2021
ISSN: ['0018-9286', '1558-2523', '2334-3303']
DOI: https://doi.org/10.1109/tac.2020.3022756